Forensic Leak Detection for Business Process Models
نویسندگان
چکیده
This paper presents a formal forensic technique based on information flow analysis to detect leaks in business processes models. The approach can be uniformly applied both for the analysis of process specifications and of the log files generated during processes’ execution. Specifically, the special Petri net dialect IFnet provides a common basis for the formalization of isolation properties, the representation of business process specifications and their analysis. Focusing on the analysis of business process models, this paper illustrates the approach using a process from the eHealth setting.
منابع مشابه
Concept drift detection in business process logs using deep learning
Process mining provides a bridge between process modeling and analysis on the one hand and data mining on the other hand. Process mining aims at discovering, monitoring, and improving real processes by extracting knowledge from event logs. However, as most business processes change over time (e.g. the effects of new legislation, seasonal effects and etc.), traditional process mining techniques ...
متن کاملInformation leak detection in business process models: Theory, application, and tool support
Despite the correct deployment of access control mechanisms, information leaks can persist and threaten the reliability of business process execution. This paper presents an automated and effective approach for the verification of information flow control for business process models. Building on the concept of placebased non-interference and declassification, the core contribution of this paper...
متن کاملINVERSE FREQUENCY RESPONSE ANALYSIS FOR PIPELINES LEAK DETECTION USING THE PARTICLE SWARM OPTIMIZATION
Inverse Transient Analysis (ITA) is a powerful approach for leak detection of pipelines. When the pipe transient flow is analyzed in frequency domain the ITA is called Inverse Frequency Response Analysis (IFRA). To implement an IFRA for leak detection, a transient state is initiated in the pipe by fast closure of the downstream end valve. Then, the pressure time history at the valve location is...
متن کاملStatistical Review of Major Standpoints in Hydraulic Transient-Based Leak Detection
Today, pipe systems are the most common facilities to convey various fluids from one place to another. In such facilities faults like leaks lead to advert consequences such as economic losses and social health threats. The fact that early detection of leaks can play a prominent role in reducing the amount of these undesired impacts has absorbed noticeable attention from researchers to this fiel...
متن کاملUniversity Business Model Framework
The purpose of this study is to provide a framework for the university business model as a solution for universities to cooperate with businesses. The method of the present study is a qualitative case study and the research method of document analysis, focal groups have been used to collect data. In the documentation section, 60 documents related to academic business models were selected and an...
متن کامل